Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
On the Security and Safety of AbU Systems
2021-01-01 Pasqua, M.; Miculan, M.
One-way resynchronizability of word transducers
2021-01-01 Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G.
Overall Survival Prediction in Gliomas Using Region-Specific Radiomic Features
2020-01-01 Shaheen, A.; Burigat, S.; Bagci, U.; Mohy-ud-Din, H.
Overview of JOKER@CLEF 2022: Automatic Wordplay and Humour Translation Workshop
2022-01-01 Ermakova, L.; Miller, T.; Regattin, F.; Bosser, A. -G.; Borg, C.; Mathurin, E.; Le Corre, G.; Araujo, S.; Hannachi, R.; Boccou, J.; Digue, A.; Damoy, A.; Jeanjean, B.
Pairing transitive closure and reduction to efficiently reason about partially ordered events
2000-01-01 Franceschet, M.; Montanari, A.
Reasoning About Proportional Lumpability
2021-01-01 Piazza, C.; Rossi, S.
Safe decomposition of startup requirements: verification and synthesis
2020-01-01 Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S.
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
2019-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Solving employee timetabling problems by generalized local search
2000-01-01 Schaerf, Andrea; Meisels, A.
Studying the Spatial Distribution of Volunteered Geographic Data Through a Non-parametric Approach
2020-01-01 Bressan, Giorgia; Zaccomer, Gian Pietro; Grassetti, Luca
The automorphism group of falsum-free product logic
2007-01-01 Panti, Giovanni
Timed Memory in Resource-Bounded Agents
2018-01-01 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
Using Integer Programming to Search for Counterexamples: A Case Study
2020-01-01 Lancia, G.; Pippia, E.; Rinaldi, F.
UX Concerns in Developing Functional Orthodontic Appliances
2020-01-01 Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo
Variant-Based Equational Anti-unification
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the Security and Safety of AbU Systems | 1-gen-2021 | Pasqua, M.; Miculan, M. | |
One-way resynchronizability of word transducers | 1-gen-2021 | Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G. | |
Overall Survival Prediction in Gliomas Using Region-Specific Radiomic Features | 1-gen-2020 | Shaheen, A.; Burigat, S.; Bagci, U.; Mohy-ud-Din, H. | |
Overview of JOKER@CLEF 2022: Automatic Wordplay and Humour Translation Workshop | 1-gen-2022 | Ermakova, L.; Miller, T.; Regattin, F.; Bosser, A. -G.; Borg, C.; Mathurin, E.; Le Corre, G.; Araujo, S.; Hannachi, R.; Boccou, J.; Digue, A.; Damoy, A.; Jeanjean, B. | |
Pairing transitive closure and reduction to efficiently reason about partially ordered events | 1-gen-2000 | Franceschet, M.; Montanari, A. | |
Reasoning About Proportional Lumpability | 1-gen-2021 | Piazza, C.; Rossi, S. | |
Safe decomposition of startup requirements: verification and synthesis | 1-gen-2020 | Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S. | |
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL | 1-gen-2019 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo | |
Solving employee timetabling problems by generalized local search | 1-gen-2000 | Schaerf, Andrea; Meisels, A. | |
Studying the Spatial Distribution of Volunteered Geographic Data Through a Non-parametric Approach | 1-gen-2020 | Bressan, Giorgia; Zaccomer, Gian Pietro; Grassetti, Luca | |
The automorphism group of falsum-free product logic | 1-gen-2007 | Panti, Giovanni | |
Timed Memory in Resource-Bounded Agents | 1-gen-2018 | Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina | |
Using Integer Programming to Search for Counterexamples: A Case Study | 1-gen-2020 | Lancia, G.; Pippia, E.; Rinaldi, F. | |
UX Concerns in Developing Functional Orthodontic Appliances | 1-gen-2020 | Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo | |
Variant-Based Equational Anti-unification | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile